Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
📝Concrete Syntax
Categorical systems theory
topos.institute·7h
🔀Category Theory
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Open Lineage
usenix.org·15h
🔌Interface Evolution
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
English - the hottest programming language of the future
dev.to·1h·
Discuss: DEV
🔄Language Evolution
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·15h
💻Programming languages
Neuro-Symbolic AI
en.wikipedia.org·5h·
Discuss: Hacker News
🔲Cellular Automata
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·17h·
Discuss: Hacker News, r/programming
✅Format Verification
Atomic and Saturated Models
functor.network·6d·
Discuss: Hacker News
🔲Proof Irrelevance
Cactus Language • Semantics 2
inquiryintoinquiry.com·2d
🔤Type Theory
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
👑Isabelle
Operable Software
ferd.ca·6h·
Discuss: Hacker News
👁️System Observability
A Manifesto for the Programming Desperado
github.com·3h·
Discuss: Hacker News
💻Programming languages